Integrals of Unitary Groups and Entropy of Random Pure States

In the present paper, we consider the marginal entropy of the a pure state in the tensor product of two Hilbert spaces. The expectation of the marginal entropy of a random pure state with respect to the Haar measure of unitary transformation on the tensor product Hilbert space depends on group integrals of unitary group. For group integrals of ordinary representation matrix elements of U(n), we provide a elementary method to reobtain Weingarton’s result of asymptotical behavior of group integrals. For group integrals of matrix elements of irreducible representations of U(n),we generalize the Weyl-Schur duality theorem and get an algorithm. 1. Mathematical Preliminaries We adopt the following standard conventions of quantum mechanics: The states of an n-level quantum system (and we include the case infinity) are represented by an n-dimensional complex Hilbert space H. In this familiar representation, the states of a composite of two systems A and B say, the first one A n-level, and the second Bm-level, is then represented by the tensor product of the respective Hilbert spacesHA andHB. As a result, the composite system (AB) is an (nm)-level system. This also makes sense in the infinite case where we then use standard geometry for Hilbert space, and suitable choices of orthonormal bases (ONBs). For a fixed system with Hilbert space H, the corresponding pure quantum states are vectors in H of norm one, or rather equivalence classes of such vectors: Equivalent vectors v and v in H yield the same rank-one projection operator P, i.e., the projection of H onto